From 67dd30bcace6cd6fc543a5056d219577d882e79a Mon Sep 17 00:00:00 2001
From: Jochen Sprickerhof <git@jochen.sprickerhof.de>
Date: Fri, 17 Nov 2017 22:13:38 +0100
Subject: [PATCH] Fix priority

---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 3c535411..ca4de221 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Uploaders: Thomas Moulard <thomas.moulard@gmail.com>,
 	   Jochen Sprickerhof <jspricke@debian.org>,
 	   Leopold Palomo-Avellaneda <leo@alaxarxa.net>
 Section: libs
-Priority: extra
+Priority: optional
 Build-Depends: debhelper (>= 10), dh-exec (>=0.3),
                cmake,
 	       python-sphinx,
-- 
2.30.2